11061. Types for proofs and programs : International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003 : revised selected papers
Author: Stefano Berardi, Mario Coppo, Ferruccio Damiani )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Automatic theorem proving,Congresses ، Computer programming
Classification :
QA
76
.
L28
Vol
.
3085


11062. Types for proofs and programs : international workshop, TYPES 2002, Berg en Dal, the Netherlands, April 24-28, 2002 : selected papers
Author: Herman Geuvers, Freek Wiedijk )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Automatic theorem proving,Congresses ، Computer programming
Classification :
QA
76
.
L28
Vol
.
2646


11063. UCSD Pascal for the IBM PC
Author: Iain MacCallum
Library: Central Library and Information Center of Shahed University (Tehran)
Subject: IBM- Personal computer- Programming,UCSD pascal (computer program language)
Classification :
QA
،
76
.
8
،.
I2594
,
M33
،
1986


11064. UCSD Pascal for the IBM PC
Author: MacCallum, Iain
Library: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
Subject: ، IBM Personal Computer -- Programming,، UCSD Pascal )Computer program language(
Classification :
QA
76
.
8
.
I2594
M33


11065. UML and C++
Author: / Richard C. Lee, William M. Tepfenhart
Library: Library of College of Science University of Tehran (Tehran)
Subject: Object-oriented programming (Computer science),Computer software -- Development,C++ (Computer program language),UML (Computer science)
Classification :
QA
76
.
64
.
L45
1997


11066. UML and C++
Author: / Richard C. Lee, William M. Tepfenhart
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Object-oriented programming (Computer science),Computer software- Development,C++ (Computer program language),UML (Computer science)
Classification :
QA76
.
64
.
L449
2006


11067. UML and C++
Author: / Richard C. Lee, William M. Tepfenhart
Library: Ilam University Central Library (Ilam)
Subject: Object-oriented programming (Computer science),Computer software- Development,C++ (Computer program language),UML (Computer science)
Classification :
QA76
.
64
.
L449
2008


11068. UML and C++ :A Practical guide to Object - Oriented Development
Author: / Richard C. Lee, William M. Tepfenhart
Library: Central library and document university of Kurdistan (Kurdistan)
Subject: Object - Oriented Programming (Computer Science),Computer Software - Development,C++ (Computer Program Language)
Classification :
QA76/64/
.
L45


11069. UML and C++: a practical guide to object development
Author: Lee, Richard C.
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Object-oriented programming )Computer Science(,، Computer software-- Development,، C++ )Computer program language(
Classification :
QA
76
.
64
.
L45
1997


11070. UML and C++ : a practical guide to object-oriented development
Author: Lee, Richard C. , 6591-
Library: (Semnan)
Subject: ، Object-oriented programming )Computer science(,، Computer software - Development,، C++ )Computer program language(,، UML )Computer science(
Classification :
QA
76
.
64
.
L45
2006


11071. UML and C++ :a practical guide to object-oriented development
Author: Lee, Richard C
Library: Library of Niroo Research Institue (Tehran)
Subject: ، Object-oriented programming )Computer science(,Development ، Computer software,، C++ )Computer program language(,، UML )Computer science(
Classification :
QA
76
.
64
.
L45
1997


11072. UML and C++ :a practical guide to object-oriented development
Author: Lee, Richard C.
Library: Central Library of Hamedan University of Technology (Hamedan)
Subject: ، Object-oriented programming )Computer science(,Development ، Computer software,، C++ )Computer program language(,، UML )Computer science(
Classification :
QA
76
.
64
.
L449


11073. UML for real
Author: / edited by Luciano Lavagno, Grant Martin, Bran Selic
Library: Library of Campus2 Colleges of Engineering of Tehran University (Tehran)
Subject: Real-time data processing,Embedded computer systems -- Programming,UML (computer science)
Classification :
QA
76
.
54
.
U45
2003


11074. UML for the IT business analysta practical guide to object-oriented requirements gathering. [CD]
Author: / Howard Podeswa
Library: Central library and document university of Kurdistan (Kurdistan)
Subject: Object-oriented methods (Computer science),Object-oriented programming (Computer science),Electronic books

11075. UML gota a gota /
Author: Martin Fowler con Kendall Scott ; tr. Jaime González V., David Morales Peake.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Object-oriented programming (Computer science),UML (Computer science),Software para computadora-- Desarrollo.,UML (Computación),Lenguajes de programación.,Object-oriented programming (Computer science),Programación orientada a objetos.,UML (Computer science),UML (Lenguaje de programación)
Classification :
QA76
.
9O35
F6818


11076. UML 2. 0 in Action
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: oriented Programming (Computer Science) ; -Uml (Computer Science) ; Object

11077. UML 2.0 in a nutshell
Author: / Dan Pilone with Neil Pitman
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: UML (Computer science),Object-oriented programming (Computer science)
Classification :
QA76
.
9
.
O35
,
P54
2005


11078. UML 2.0 in a nutshell
Author: / Dan Pilone with Neil Pitman
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: UML (Computer science),Object-oriented programming (Computer science)
Classification :
QA76
.
9
.
O35
,
P54
2005


11079. UML 2 par la pratique :
Author: Pascal Roques.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software-- Development.,Object-oriented programming (Computer science),Software patterns.,UML (Computer science),Analyse de systèmes-- Informatique.,Approche orientée objet (Informatique),Logiciels-- Modèles de conception.,UML (Informatique),Computer software-- Development.,COMPUTERS-- Programming-- Open Source.,COMPUTERS-- Software Development & Engineering-- General.,COMPUTERS-- Software Development & Engineering-- Tools.,Object-oriented programming (Computer science),Software patterns.,UML (Computer science)
Classification :
QA76
.
76
.
D47
R66
2008eb


11080. UNIX Network Programming
Author: / W. Richard Stevens
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: UNIX (Computer file),Computer networks,Internet programming
Classification :
QA76
,.
76
.
O63
,
S755
1990

